Optimal. Leaf size=363 \[ \frac {\sqrt {b} \tan ^{-1}\left (1-\frac {\sqrt {2} \sqrt {b \cos (e+f x)}}{\sqrt {b} \sqrt {\sin (e+f x)}}\right )}{4 \sqrt {2} f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}-\frac {\sqrt {b} \tan ^{-1}\left (1+\frac {\sqrt {2} \sqrt {b \cos (e+f x)}}{\sqrt {b} \sqrt {\sin (e+f x)}}\right )}{4 \sqrt {2} f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}-\frac {\sqrt {b} \log \left (\sqrt {b}+\sqrt {b} \cot (e+f x)-\frac {\sqrt {2} \sqrt {b \cos (e+f x)}}{\sqrt {\sin (e+f x)}}\right )}{8 \sqrt {2} f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}+\frac {\sqrt {b} \log \left (\sqrt {b}+\sqrt {b} \cot (e+f x)+\frac {\sqrt {2} \sqrt {b \cos (e+f x)}}{\sqrt {\sin (e+f x)}}\right )}{8 \sqrt {2} f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}-\frac {b \sqrt {\sin (e+f x)}}{2 f (b \sec (e+f x))^{3/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.18, antiderivative size = 363, normalized size of antiderivative = 1.00, number of steps
used = 12, number of rules used = 9, integrand size = 23, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.391, Rules used = {2663, 2665,
2655, 303, 1176, 631, 210, 1179, 642} \begin {gather*} \frac {\sqrt {b} \text {ArcTan}\left (1-\frac {\sqrt {2} \sqrt {b \cos (e+f x)}}{\sqrt {b} \sqrt {\sin (e+f x)}}\right )}{4 \sqrt {2} f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}-\frac {\sqrt {b} \text {ArcTan}\left (\frac {\sqrt {2} \sqrt {b \cos (e+f x)}}{\sqrt {b} \sqrt {\sin (e+f x)}}+1\right )}{4 \sqrt {2} f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}-\frac {b \sqrt {\sin (e+f x)}}{2 f (b \sec (e+f x))^{3/2}}-\frac {\sqrt {b} \log \left (\sqrt {b} \cot (e+f x)-\frac {\sqrt {2} \sqrt {b \cos (e+f x)}}{\sqrt {\sin (e+f x)}}+\sqrt {b}\right )}{8 \sqrt {2} f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}+\frac {\sqrt {b} \log \left (\sqrt {b} \cot (e+f x)+\frac {\sqrt {2} \sqrt {b \cos (e+f x)}}{\sqrt {\sin (e+f x)}}+\sqrt {b}\right )}{8 \sqrt {2} f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 210
Rule 303
Rule 631
Rule 642
Rule 1176
Rule 1179
Rule 2655
Rule 2663
Rule 2665
Rubi steps
\begin {align*} \int \frac {\sin ^{\frac {3}{2}}(e+f x)}{\sqrt {b \sec (e+f x)}} \, dx &=-\frac {b \sqrt {\sin (e+f x)}}{2 f (b \sec (e+f x))^{3/2}}+\frac {1}{4} \int \frac {1}{\sqrt {b \sec (e+f x)} \sqrt {\sin (e+f x)}} \, dx\\ &=-\frac {b \sqrt {\sin (e+f x)}}{2 f (b \sec (e+f x))^{3/2}}+\frac {\int \frac {\sqrt {b \cos (e+f x)}}{\sqrt {\sin (e+f x)}} \, dx}{4 \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}\\ &=-\frac {b \sqrt {\sin (e+f x)}}{2 f (b \sec (e+f x))^{3/2}}-\frac {b \text {Subst}\left (\int \frac {x^2}{b^2+x^4} \, dx,x,\frac {\sqrt {b \cos (e+f x)}}{\sqrt {\sin (e+f x)}}\right )}{2 f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}\\ &=-\frac {b \sqrt {\sin (e+f x)}}{2 f (b \sec (e+f x))^{3/2}}+\frac {b \text {Subst}\left (\int \frac {b-x^2}{b^2+x^4} \, dx,x,\frac {\sqrt {b \cos (e+f x)}}{\sqrt {\sin (e+f x)}}\right )}{4 f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}-\frac {b \text {Subst}\left (\int \frac {b+x^2}{b^2+x^4} \, dx,x,\frac {\sqrt {b \cos (e+f x)}}{\sqrt {\sin (e+f x)}}\right )}{4 f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}\\ &=-\frac {b \sqrt {\sin (e+f x)}}{2 f (b \sec (e+f x))^{3/2}}-\frac {\sqrt {b} \text {Subst}\left (\int \frac {\sqrt {2} \sqrt {b}+2 x}{-b-\sqrt {2} \sqrt {b} x-x^2} \, dx,x,\frac {\sqrt {b \cos (e+f x)}}{\sqrt {\sin (e+f x)}}\right )}{8 \sqrt {2} f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}-\frac {\sqrt {b} \text {Subst}\left (\int \frac {\sqrt {2} \sqrt {b}-2 x}{-b+\sqrt {2} \sqrt {b} x-x^2} \, dx,x,\frac {\sqrt {b \cos (e+f x)}}{\sqrt {\sin (e+f x)}}\right )}{8 \sqrt {2} f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}-\frac {b \text {Subst}\left (\int \frac {1}{b-\sqrt {2} \sqrt {b} x+x^2} \, dx,x,\frac {\sqrt {b \cos (e+f x)}}{\sqrt {\sin (e+f x)}}\right )}{8 f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}-\frac {b \text {Subst}\left (\int \frac {1}{b+\sqrt {2} \sqrt {b} x+x^2} \, dx,x,\frac {\sqrt {b \cos (e+f x)}}{\sqrt {\sin (e+f x)}}\right )}{8 f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}\\ &=-\frac {\sqrt {b} \log \left (\sqrt {b}+\sqrt {b} \cot (e+f x)-\frac {\sqrt {2} \sqrt {b \cos (e+f x)}}{\sqrt {\sin (e+f x)}}\right )}{8 \sqrt {2} f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}+\frac {\sqrt {b} \log \left (\sqrt {b}+\sqrt {b} \cot (e+f x)+\frac {\sqrt {2} \sqrt {b \cos (e+f x)}}{\sqrt {\sin (e+f x)}}\right )}{8 \sqrt {2} f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}-\frac {b \sqrt {\sin (e+f x)}}{2 f (b \sec (e+f x))^{3/2}}-\frac {\sqrt {b} \text {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1-\frac {\sqrt {2} \sqrt {b \cos (e+f x)}}{\sqrt {b} \sqrt {\sin (e+f x)}}\right )}{4 \sqrt {2} f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}+\frac {\sqrt {b} \text {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1+\frac {\sqrt {2} \sqrt {b \cos (e+f x)}}{\sqrt {b} \sqrt {\sin (e+f x)}}\right )}{4 \sqrt {2} f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}\\ &=\frac {\sqrt {b} \tan ^{-1}\left (1-\frac {\sqrt {2} \sqrt {b \cos (e+f x)}}{\sqrt {b} \sqrt {\sin (e+f x)}}\right )}{4 \sqrt {2} f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}-\frac {\sqrt {b} \tan ^{-1}\left (1+\frac {\sqrt {2} \sqrt {b \cos (e+f x)}}{\sqrt {b} \sqrt {\sin (e+f x)}}\right )}{4 \sqrt {2} f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}-\frac {\sqrt {b} \log \left (\sqrt {b}+\sqrt {b} \cot (e+f x)-\frac {\sqrt {2} \sqrt {b \cos (e+f x)}}{\sqrt {\sin (e+f x)}}\right )}{8 \sqrt {2} f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}+\frac {\sqrt {b} \log \left (\sqrt {b}+\sqrt {b} \cot (e+f x)+\frac {\sqrt {2} \sqrt {b \cos (e+f x)}}{\sqrt {\sin (e+f x)}}\right )}{8 \sqrt {2} f \sqrt {b \cos (e+f x)} \sqrt {b \sec (e+f x)}}-\frac {b \sqrt {\sin (e+f x)}}{2 f (b \sec (e+f x))^{3/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.99, size = 145, normalized size = 0.40 \begin {gather*} \frac {b \left (-4 \sin ^2(e+f x)+\sqrt {2} \tan ^{-1}\left (\frac {-1+\sqrt {\tan ^2(e+f x)}}{\sqrt {2} \sqrt [4]{\tan ^2(e+f x)}}\right ) \tan ^2(e+f x)^{3/4}+\sqrt {2} \tanh ^{-1}\left (\frac {\sqrt {2} \sqrt [4]{\tan ^2(e+f x)}}{1+\sqrt {\tan ^2(e+f x)}}\right ) \tan ^2(e+f x)^{3/4}\right )}{8 f (b \sec (e+f x))^{3/2} \sin ^{\frac {3}{2}}(e+f x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 4 vs. order
3.
time = 0.20, size = 648, normalized size = 1.79
method | result | size |
default | \(\frac {\left (i \sin \left (f x +e \right ) \sqrt {\frac {1-\cos \left (f x +e \right )+\sin \left (f x +e \right )}{\sin \left (f x +e \right )}}\, \sqrt {\frac {\sin \left (f x +e \right )-1+\cos \left (f x +e \right )}{\sin \left (f x +e \right )}}\, \sqrt {\frac {-1+\cos \left (f x +e \right )}{\sin \left (f x +e \right )}}\, \EllipticPi \left (\sqrt {\frac {1-\cos \left (f x +e \right )+\sin \left (f x +e \right )}{\sin \left (f x +e \right )}}, \frac {1}{2}+\frac {i}{2}, \frac {\sqrt {2}}{2}\right )-i \sin \left (f x +e \right ) \sqrt {\frac {1-\cos \left (f x +e \right )+\sin \left (f x +e \right )}{\sin \left (f x +e \right )}}\, \sqrt {\frac {\sin \left (f x +e \right )-1+\cos \left (f x +e \right )}{\sin \left (f x +e \right )}}\, \sqrt {\frac {-1+\cos \left (f x +e \right )}{\sin \left (f x +e \right )}}\, \EllipticPi \left (\sqrt {\frac {1-\cos \left (f x +e \right )+\sin \left (f x +e \right )}{\sin \left (f x +e \right )}}, \frac {1}{2}-\frac {i}{2}, \frac {\sqrt {2}}{2}\right )-\sin \left (f x +e \right ) \sqrt {\frac {1-\cos \left (f x +e \right )+\sin \left (f x +e \right )}{\sin \left (f x +e \right )}}\, \sqrt {\frac {\sin \left (f x +e \right )-1+\cos \left (f x +e \right )}{\sin \left (f x +e \right )}}\, \sqrt {\frac {-1+\cos \left (f x +e \right )}{\sin \left (f x +e \right )}}\, \EllipticPi \left (\sqrt {\frac {1-\cos \left (f x +e \right )+\sin \left (f x +e \right )}{\sin \left (f x +e \right )}}, \frac {1}{2}+\frac {i}{2}, \frac {\sqrt {2}}{2}\right )-\sin \left (f x +e \right ) \sqrt {\frac {1-\cos \left (f x +e \right )+\sin \left (f x +e \right )}{\sin \left (f x +e \right )}}\, \sqrt {\frac {\sin \left (f x +e \right )-1+\cos \left (f x +e \right )}{\sin \left (f x +e \right )}}\, \sqrt {\frac {-1+\cos \left (f x +e \right )}{\sin \left (f x +e \right )}}\, \EllipticPi \left (\sqrt {\frac {1-\cos \left (f x +e \right )+\sin \left (f x +e \right )}{\sin \left (f x +e \right )}}, \frac {1}{2}-\frac {i}{2}, \frac {\sqrt {2}}{2}\right )+2 \sqrt {\frac {1-\cos \left (f x +e \right )+\sin \left (f x +e \right )}{\sin \left (f x +e \right )}}\, \sqrt {\frac {\sin \left (f x +e \right )-1+\cos \left (f x +e \right )}{\sin \left (f x +e \right )}}\, \sqrt {\frac {-1+\cos \left (f x +e \right )}{\sin \left (f x +e \right )}}\, \EllipticF \left (\sqrt {\frac {1-\cos \left (f x +e \right )+\sin \left (f x +e \right )}{\sin \left (f x +e \right )}}, \frac {\sqrt {2}}{2}\right ) \sin \left (f x +e \right )-2 \left (\cos ^{3}\left (f x +e \right )\right ) \sqrt {2}+2 \left (\cos ^{2}\left (f x +e \right )\right ) \sqrt {2}\right ) \left (\sqrt {\sin }\left (f x +e \right )\right ) \sqrt {2}}{8 f \left (-1+\cos \left (f x +e \right )\right ) \sqrt {\frac {b}{\cos \left (f x +e \right )}}\, \cos \left (f x +e \right )}\) | \(648\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sin ^{\frac {3}{2}}{\left (e + f x \right )}}{\sqrt {b \sec {\left (e + f x \right )}}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\sin \left (e+f\,x\right )}^{3/2}}{\sqrt {\frac {b}{\cos \left (e+f\,x\right )}}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________